Start von Workbench

Bei dem Start von Workbench werden die Parameter �ber das Info File des Programms �bergeben. Dort werden die ``Tool-Types'' definiert. Die Optionen, die man �ber CLI angeben kann, k�nnen alle auch als Tool-Types definiert werden. Allerdings m�ssen sie dort gro�geschrieben werden und d�rfen auch nicht abgek�rzt werden.

Man kann die Default-Parameter aber auch wie beim Start von CLI �ber die Environmentvariable ``<#134#>DVIPRINT<#134#>'' definieren.

Der Name des DVI-Files kann �ber Workbench auf zwei Arten DVIprint<#135#><#135#> �bergeben werden. Zum einen, in dem man erst das DVIprint<#136#><#136#> Icon aktiviert und dann auf das DVI-File doppelklickt. Zum anderen, in dem man im Info-File des DVI-Files als ``default tool'' DVIprint<#137#><#137#> eintr�gt.